normal{-}type\{i:l\}($T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$T$